Automated Modeling of Real-Time Implementation
نویسنده
چکیده
This paper describes ongoing work on the automatic construction of formal models from Real-Time implementations. The model construction is based on measurements of the timed behavior of the threads of an implementation, their causal interaction patterns and external visible events. A specification of the timed behavior is modeled in timed automata and checked against the generated model in order to validate their timed behavior.
منابع مشابه
Markovian Delay Prediction-Based Control of Networked Systems
A new Markov-based method for real time prediction of network transmission time delays is introduced. The method considers a Multi-Layer Perceptron (MLP) neural model for the transmission network, where the number of neurons in the input layer is minimized so that the required calculations are reduced and the method can be implemented in the real-time. For this purpose, the Markov process order...
متن کاملReal-Time Building Information Modeling (BIM) Synchronization Using Radio Frequency Identification Technology and Cloud Computing System
The online observation of a construction site and processes bears significant advantage to all business sector. BIM is the combination of a 3D model of the project and a project-planning program which improves the project planning model by up to 6D (Adding Time, Cost and Material Information dimensions to the model). RFID technology is an appropriate information synchronization tool between the...
متن کاملSchedulability Analysis for Automated Implementations of Real-Time Object-Oriented Models
The increasing complexity of real-time software has led to a recent trend in the use of high-level modeling languages for development of real-time software. One representative example is the modeling language ROOM (real-time object-oriented modeling), which provides features such as object-orientation, state machine description of behaviors, formal semantics for executability of models, and pos...
متن کاملFeasibility Study of Real-time and Automated Monitoring of Iranian Rivers using 50-kHz Fluvial Acoustic Tomography System
Acoustic Tomography (AT) technique is an innovative method for real-time river monitoring. In this study, not only the accuracy of flow velocity measurement using 50 kHz AT system which is appropriate for narrow rivers (most Iranian rivers) is evaluated, but also its performance is compared with 30 kHz one which is used in wide rivers. The comparison results showed that the velocity resolutions...
متن کاملTool Set Implementation for Scenario-based Multithreading of UML-RT Models and Experimental Validation
This paper presents our tool set implementation for scenario-based multithreading of object-oriented real-time models and an accompanying experimental validation. Our tools enable the automated, schedulability-aware implementation of real-time object-oriented models, exploiting an existing CASE tool. Our implementation is facilitated by (1) our customized run-time system modified to support sce...
متن کامل